Every convergent sequence in a metric space is a Cauchy sequence ↩

aliases: []
shorthands: {}
created: 2021-12-15 14:45:42
modified: 2022-01-10 04:13:04

Proof

If , then for every there is an ε-neighborhood such that

Hence by the triangle inequality we obtain for

This shows that is Cauchy. QED